• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۲ پاسخ غیر تکراری از ۲ پاسخ تکراری در مدت زمان ۰,۶۲ ثانیه یافت شد.

1. Semantics of type theory : correctness, Completeness and independence results

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Thomas Streicher

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: ، Programming languages )Electronic computers( -- Semantics,، Functional programming )Computer science(,، Type theory

Classification :
QA
76
.
7
.
S85

2. Semantics of type theory : correctness, completeness, and independence results

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Thomas Streicher

Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)

Subject: Programming languages (Electronic computers) - Semantics,Functional programming (Computer science),Type theory

Classification :
QA76
.
7
.
S82
1991
  • »
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival